simple propositional function

简单命题函数